Topicality of the study lies in the fact that modern rationality as a significant achievement of civilization is simultaneously becoming a real threat to the mankind.Science, undertaking a humanistic mission, at the same time dehumanizes what it was aimed at: the system of values, education and culture.Acquired knowledge is often used to destroy the environment and humanity, and not for progress and well-being.Disruption of the harmony of natural, social and spiritual, underestimation of the anthropocentric dimension of scientific rationality put Homo (...) sapiens on the brink of being.Recently, in philosophical and social thought, the problem of the ways of forming a new humanistic world attitude and humanistically oriented science and ethical rationality has acquired particular urgency. Analysisoftheliterature. Scientific works of foreign and native authors, who began the study of this problem, are used:R. Andryukaitene, V. Vernadsky, M. Vishnevsky, V. Voronkova, J. Habermas, A. Gritsanov, I. Kasavin, A. Kornienko, K. Korsak, A. Lazarevich, V. Lectorkog, A. Mercier, R. Nugaev, V. Ratnikov, O. Sosnin, V. Stepin, J. Nikitina, M. Ratz, N. Reimers, A. Tolstoukhov, O. Tsira, V. Shvyrev, V. Shuper. Purposeofthearticle –philosophical understanding of the new rationality as a factor in the formation of a coevolution-innovation strategy for themodern world development. Theobjectiveofthestudy isananalysis of the essence of rationality, the characteristics of its main features and role in the formation of a coevolution-innovation strategy for the sustainable development of the mankind. The methodology of the study is based on an interdisciplinary approach, integrates modern practices of philosophy, philosophy of science, epistemology, ecology, ethics and axiology.Comprehension the complex problems of the rational / irrational, evolution / co-evolution, crisis / sustainable development dichotomy and their influence on the humanization of scientific knowledge was encouraged by the principles of historicism and global evolutionism, the dialectical method, methods of abstraction, generalization and conceptualization,as well as the methodology and principles of synergetics. The conclusions : The article studies the essence of rationality and the limitations of its current concept, the causes and features of the crisis of rational awareness of the modern world, due to the dehumanizing role of scientific and technological progress.It justifies the thesis that the situation can be changed by giving the scientific progress of the humanistic direction, forming the anthropocentric dimension of scientific rationality.Humanity must resolve an issue of rationality from the position of the humanistic world outlook and create a new model of science. The basis for solving this problem may be the modern understanding of humanism, which, in turn, will serve as the basis for the emergence of a new type of rationality.It is the rationality based on humanism ethics that can become the core of the co-evolution and innovation strategy for the sustainable development of mankind. Study findings are that it is humanistic rationality, based on co-evolutionary and innovative ethics, that provides global society as a system with a high level of stability regarding the destructive impact of crises,the formation of an innovative orientation, taking into account the need to bridge the potentially dangerous gap between modern civilizations – the scientific, technological and social humanistic ones. (shrink)

While specifications and verifications of concurrent systems employ Linear Temporal Logic , it is increasingly likely that logical consequence in image will be used in the description of computations and parallel reasoning. Our paper considers logical consequence in the standard image with temporal operations image and image . The prime result is an algorithm recognizing consecutions admissible in image, so we prove that image is decidable w.r.t. admissible inference rules. As a consequence we obtain algorithms verifying the validity of consecutions (...) in image and solving the satisfiability problem. We start by a simple reduction of logical consecutions of image to equivalent ones in the reduced normal form . Then we apply a semantic technique based on image-Kripke structures with formula definable subsets. This yields necessary and sufficient conditions for a consecution to be not admissible in image. These conditions lead to an algorithm which recognizes consecutions admissible in image by verifying the validity of consecutions in special finite Kripke structures of size square polynomial in reduced normal forms of the consecutions. As a consequence, this also solves the satisfiability problem for image. (shrink)

Ontology was never Hume's main interest, but he certainly had opinions as to what there is, and he often expressed these in his philosophical works. Indeed it seems clear that Hume changed his ontological views while writing the Treatise, and that not just one but two different ontologies are to be found there. The ontology of Parts I, II, and III of Book I is more or less Lockean. There are minds and their operations and qualities. There are physical entities, (...) bodily actions and qualities if not bodies over and above these. And there are further entities, called ideas by Locke and perceptions by Hume, that represent things other than themselves, both physical and mental, while existing in and being dependent upon minds. In Part IV of Book I, however, and especially in Sections 2 and 6, a new ontology appears, one that differs not only from the doctrine of the earlier sections of the Treatise but also from any that previous philosophers had held. According to this new ontology, there are only perceptions: all other sorts of things are absorbed by or reduced to these, or else simply eliminated. Berkeley had indeed assimilated bodies and the properties of bodies to perceptions, but he had kept minds as a distinct category of entity. Hume went the whole way, making everything perceptions. We might characterise this new ontology as trans-Berkeleyan, or call it, on account of its similarity to later doctrines so named, phenomenalism or neutral monism. (shrink)

We define proof nets for cyclic multiplicative linear logic as edge bi-coloured graphs. Our characterization is purely graph theoretical and works without further complication for proof nets with cuts, which are usually harder to handle in the non-commutative case. This also provides a new characterization of the proof nets for the Lambek calculus (with the empty sequence) which simply are a restriction on the formulas to be considered (which are asked to be intuitionistic).

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

Hilbert's conference lectures during the year 1922, Neuebegründung der Mathematik. Erste Mitteilung and Die logischen Grundlagen der Mathematik (both are published in (Hilbert [1935] 1965) pp. 157-195), contain his first public presentation of an axiom system for propositional logic, or at least for a fragment of propositional logic, which is largely influenced by the study on logical woks of Frege and Russell during the previous years.The year 1922 is at the beginning of Hilbert's foundational program in its definitive form. The (...) final public presentation by Hilbert of an axiom system for propositional logic is contained in the 1934 book Grundlagen der Mathematik, I (Hilbert and Bernays [1934] 1968). Sequent .. (shrink)

Structuralism took part in the efforts to revive intellectual development in the former Czecho-Slovakia in the 1960s as an efficient methodological instrument, a scientific meta-theory, as well as an inovation in the field of philosophical theory . Open discussions were focused on the questions such as the relation between methodology and philosophy, system and structure, system and development, problem of the connection of synchronicity and diachronicity, the role of the subject, etc. Czecho-Slovak school applied the dynamic aspect of the structure (...) as a dynamic whole. This school came up with its own concept of dialectical structuralism, specific and different from French conceptual-instrumental model of structuralism. (shrink)

1. The characterization of Hegel's teaching as dialectical is usually associated with a critique of the logic that preceded his and that was dominant in his time: that of the Wolffians and, in particular, of Kant and the Kantians. All in all, to characterize Hegel's teaching in this way is entirely in accord with the facts. However, when stated in so general a form, it leaves much unclarified and undoubtedly demands further concreteness. The article we offer here for the reader's (...) consideration is an attempt at a concretization of this order. Central to this matter is the question of formal thinking: did Hegel accept the rights of formal thinking, and, if so, to what degree? (shrink)

Монография предназначена для специалистов в области социальной философии, социологии и истории, а также для широкого круга читателей.

Chastʹ I. Ėsteticheskie uchenii︠a︡ filosofov antichnogo mira -- Chastʹ II. Iskusstvo v suzhdenni︠a︡kh pisateleĭ antichnogo mira.

The Stoics, who advocated the extirpation of the passions, the sufficiency of virtue for happiness, and the equality of sins, embodied their radical doctrines in the figure of the sage, provoking both ancient and modern critics of Stoicism to dismiss this exemplar as an impracticable and unappealing ideal. This paper attempts to add depth and richness to an understanding of the sage by highlighting the sage's more human qualities and by examining how the Stoics’ idealized paradigm derives from, or maps (...) onto, the figure of Socrates, with special attention paid to the iconic philosopher's characteristic irony and erotic playfulness. (shrink)

Context: The paper utilizes a conceptual analysis to examine the development of abstract conceptual structures in mathematical problem solving. In so doing, we address two questions: 1. How have the ideas of RC influenced our own educational theory? and 2. How has our application of the ideas of RC helped to improve our understanding of the connection between teaching practice and students’ learning processes? Problem: The paper documents how Ernst von Glasersfeld’s view of mental representation can be illustrated in the (...) context of mathematical problem solving and used to explain the development of conceptual structure in mathematical problem solving. We focus on how acts of mental re‑presentation play a vital role in the gradual internalization and interiorization of solution activity. Method: A conceptual analysis of the actions of a college student solving a set of algebra problems was conducted. We focus on the student’s problem solving actions, particularly her emerging and developing reflections about her solution activity. The interview was videotaped and written transcripts of the solver’s verbal responses were prepared. Results: The analysis of the solver’s solution activity focused on identifying and describing her cognitive actions in resolving genuinely problematic situations that she faced while solving the tasks. The results of the analysis included a description of the increasingly abstract levels of conceptual knowledge demonstrated by the solver. Implications: The results suggest a framework for an explanation of problem solving that is activity-based, and consistent with von Glasersfeld’s radical constructivist view of knowledge. The impact of von Glasersfeld’s ideas in mathematics education is discussed. (shrink)

The purpose of the paper is to present basic principles of connectionism and its position within contemporary cognitive science. Connectionist paradigm postulates thinking as a parallel processing of non-structured information by simple calculations performed by neurons that are deeply mutually interconnected. The basic numerical tools of connectionism are represented by so-called artificial neural networks, which are immediately applicable to the study of many cognitive functions at different levels of complexity and sophistication. Connectionism has brought with it a number of important (...) philosophical issues and concerns. Connectionism as a dramatic shift from more traditional accounts of cognition has forced philosophers to reconsider many assumptions based upon earlier theories. (shrink)

The paper examines the significant relationship between the history of philosophy and the systematic form of philosophizing in the 19th and 20th cenutries as develo_ped in the conceptions of G. W. F. Hegel and M. Heidegger. The first part discusses the essential models of the philosophy of the history of philosophy illustrated by Hegel's conception of the history of philosophy and its relationship to the systematic form of his philosophy. Hegel's philosophy of the history of philosophy as philosophizing about philosophy (...) is a metatheoretical movement inside historical-philosophical thinking, the aim of which is not to describe the process of the history of philosophy from outside, but to understand it and to explain it as an inseparable part of the resolution of the most important philosophical problems. The second part of the contribution focuses mainly on Heidegger's question What it is – philosophy?, as well as on his later writings, which offer a remarkable picture of the unity of philosophy and the history of philosophy. (shrink)

This paper suggests an alternative account of the political character of Plato’s political philosophy. After pointing toward some problems of the common developmental paradigm, which emphasizes discontinuities between Plato’s Socratic early writings, the mature utopianism of the Republic, and the late pessimism of the Laws, it proposes that Plato’s two large constructive works, the Republic and Laws, are related to two actual historical events in which Plato played a role, the trial of Socrates and Plato’s failed intervention in Sicilian politics. (...) On this view, the Republic is to the Apology of Socrates as the Laws is to the Seventh Letter. The Republic is an imaginative reconstruction of the sort of defense of philosophy under more favorable conditions than obtained in the actual trial; the Laws is an imaginative reconstruction of the sort of political reform that Plato advocated under more favorable conditions than obtained in Syracuse under Dionysius II. The paper suggests this as the basis of a unified interpretation of Plato’s political philosophy. (shrink)